The solid-state rearrangement of the Wells-Dawson K6P2W18O62·10H2O to a stable Keggin-type heteropolyanion phase: a catalyst for the selective oxidation of isobutane to isobutene

The thermal and structural stability of the Wells-Dawson-type heteropoly compound K₆P₂W₁₈O₆₂·10H₂O was examined by FT-IR spectroscopy, X-ray powder diffraction, thermogravimetric analysis and HRTEM. It was found that calcination at temperatures higher than 850 K led to the formation of a Keggin-type compound K₃PW₁₂O₄₀, containing small amounts of an additional phase originated from the high-temperature interaction between potassium phosphate (K₃PO₄ formed during the decomposition of the K₆P₂W₁₈O₆₂·10H₂O) and the Keggin-type compound itself. The Keggin-type product showed a higher activity in the selective oxidative dehydrogenation of isobutane to isobutene compared to both the Wells-Dawson precursor and to pure, authentic K₃PW₁₂O₄₀. This higher activity can be tentatively attributed to the presence of an amorphous layer of unknown stoichiometry at the surface of the thermally rearranged Wells-Dawson compound.     

Cervical pain and proprioceptive sensitivity

With the intent of estimating the proprioceptive sensitivity of the cervical rachis, the Authors subjected 17 healthy volunteers and 20 patients suffering from various cervical disorders to a clinical head positioning test, which was previously experimented upon by several french Authors was modified under certain aspects by our equipe. The test, consists in flexion and extension of the head after maximal rotations to the left and right, then repositioning the head at the starting point "0" which corresponds to the crossing point of two orthogonal axis of a target. The positions are marked on the target by a laser beam situated on the helmet worn by the subject undergoing testing. The results obtained corresponding to the errors committed regarding point "0", permit us to confirm the reliability of the test and significant definitions between the control group and the patients suffering from cervical disorders.     

Fault detection for discrete event systems using Petri nets with unobservable transitions

In this paper we present a fault detection approach for discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservable, including all those transitions that model faulty behaviors. Our diagnosis approach is based on the notions of basis marking and justification, that allow us to characterize the set of markings that are consistent with the actual observation, and the set of unobservable transitions whose firing enable it. This approach applies to all net systems whose unobservable subnet is acyclic. If the net system is also bounded the proposed approach may be significantly simplified by moving the most burdensome part of the procedure off-line, thanks to the construction of a graph, called the basis reachability graph.     

Performance evaluation of efficient multi-objective evolutionary algorithms for design space exploration of embedded computer systems

Multi-objective evolutionary algorithms (MOEAs) have received increasing interest in industry because they have proved to be powerful optimizers. Despite the great success achieved, however, MOEAs have also encountered many challenges in real-world applications. One of the main difficulties in applying MOEAs is the large number of fitness evaluations (objective calculations) that are often needed before an acceptable solution can be found. There are, in fact, several industrial situations in which fitness evaluations are computationally expensive and the time available is very short. In these applications efficient strategies to approximate the fitness function have to be adopted, looking for a trade-off between optimization performance and efficiency. This is the case in designing a complex embedded system, where it is necessary to define an optimal architecture in relation to certain performance indexes while respecting strict time-to-market constraints. This activity, known as design space exploration (DSE), is still a great challenge for the EDA (electronic design automation) community. One of the most important bottlenecks in the overall design flow of an embedded system is due to simulation. Simulation occurs at every phase of the design flow and is used to evaluate a system which is a candidate for implementation. In this paper we focus on system level design, proposing an extensive comparison of the state-of-the-art of MOEA approaches with an approach based on fuzzy approximation to speed up the evaluation of a candidate system configuration. The comparison is performed in a real case study: optimization of the performance and power dissipation of embedded architectures based on a Very Long Instruction Word (VLIW) microprocessor in a mobile multimedia application domain. The results of the comparison demonstrate that the fuzzy approach outperforms in terms of both performance and efficiency the state of the art in MOEA strategies applied to DSE of a parameterized embedded system.     

Learning natural scene categories by selective multi-scale feature extraction

Natural scene categorization from images represents a very useful task for automatic image analysis systems. In the literature, several methods have been proposed facing this issue with excellent results. Typically, features of several types are clustered so as to generate a vocabulary able to describe in a multi-faceted way the considered image collection. This vocabulary is formed by a discrete set of visual codewords whose co-occurrence and/or composition allows to classify the scene category. A common drawback of these methods is that features are usually extracted from the whole image, actually disregarding whether they derive properly from the natural scene to be classified or from foreground objects, possibly present in it, which are not peculiar for the scene. As quoted by perceptual studies, objects present in an image are not useful to natural scene categorization, indeed bringing an important source of clutter, in dependence of their size.     

Black‐box position and attitude tracking for underwater vehicles by second‐order sliding‐mode technique

In this work we address the tracking control problems for autonomous underwater vehicles (AUVs). The proposed solution is based on the variable structure systems (VSS) theory and, in particular, on the second‐order sliding‐mode (2‐SM) methodology. The tuning of the controller is carried out via black‐box approach, dispensing with the knowledge of the actual AUV parameters, by simply progressively increasing a single gain parameter. The presented stability analysis includes explicitly the unmodelled actuator dynamics and the presence of external uncertain disturbances. The good performance of the proposed scheme is verified by means of simulations on a 6‐DOF AUV. Copyright © 2009 John Wiley & Sons, Ltd.     

Parallel batch scheduling of equal-length jobs with release and due dates

In this paper we study parallel batch scheduling problems with bounded batch capacity and equal-length jobs in a single and parallel machine environment. It is shown that the feasibility problem 1|p-batch,b<n,r _j ,p _j =p,C _j ≤d _j |− can be solved in O(n ²) time and that the problem of minimizing the maximum lateness can be solved in O(n ²log n) time. For the parallel machine problem P|p-batch,b<n,r _j ,p _j =p,C _j ≤d _j |− an O(n ³log n)-time algorithm is provided, which can also be used to solve the problem of minimizing the maximum lateness in O(n ³log ² n) time.